"查查詞典"手機版
千萬人都在用的超大詞匯詞典翻譯APP
In type theory, bounded quantification (also bounded polymorphism or constrained genericity) refers to universal or existential quantifiers which are restricted ("bounded") to range only over the subtypes of a particular type. Bounded quantification is an interaction of parametric polymorphism with subtyping.
詳細百科解釋